@info-color: @color-blue-6;
@info-color-deprecated-bg: @color-blue-1;
@info-color-deprecated-border: @color-blue-3;
